Wan Fokkink: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Formal Verification of Timed Systems Using Cones and Foci

Wan Fokkink, Jun Pang

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 340 KB

english, 2005

2

Mean-field framework for performance evaluation of push–pull gossip protocols

Rena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort

Journal:

Performance Evaluation

Year:

2011

Language:

english

File:

PDF, 1.16 MB

english, 2011

3

Model checking a cache coherence protocol of a Java DSM implementation

Jun Pang, Wan Fokkink, Rutger Hofman, Ronald Veldema

Journal:

The Journal of Logic and Algebraic Programming

Year:

2007

Language:

english

File:

PDF, 271 KB

english, 2007

4

[IEEE 2011 Eighth International Conference on Quantitative Evaluation of Systems (QEST) - Aachen, Germany (2011.09.5-2011.09.8)] 2011 Eighth International Conference on Quantitative Evaluation of SysTems - A Modeling Framework for Gossip-based Information Spread

Bakhshi, Rena, Gavidia, Daniela, Fokkink, Wan, van Steen, Maarten

Year:

2011

Language:

english

File:

PDF, 395 KB

english, 2011

5

A Relation Between Partitions and the Number of Divisors

Wang Zheng Bing, Robert Fokkink and Wan Fokkink

Journal:

American Mathematical Monthly

Year:

1995

Language:

english

File:

PDF, 131 KB

english, 1995

6

Formal analysis techniques for gossiping protocols

Bakhshi, Rena, Bonnet, Francois, Fokkink, Wan, Haverkort, Boudewijn

Journal:

ACM SIGOPS Operating Systems Review

Year:

2007

Language:

english

File:

PDF, 249 KB

english, 2007

7

Rooted Branching Bisimulation as a Congruence

Journal:

Journal of Computer and System Sciences

Year:

2000

Language:

english

File:

PDF, 246 KB

english, 2000

8

A complete equational axiomatization for prefix iteration

Journal:

Information Processing Letters

Year:

1994

Language:

english

File:

PDF, 455 KB

english, 1994

9

Simplifying Itai-Rodeh Leader Election for Anonymous Rings

Wan Fokkink, Jun Pang

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 297 KB

english, 2005

10

An analytical model of information dissemination for a gossip-based protocol

Rena Bakhshi, Daniela Gavidia, Wan Fokkink, Maarten van Steen

Journal:

Computer Networks

Year:

2009

Language:

english

File:

PDF, 925 KB

english, 2009

11

Fast leader election in anonymous rings with bounded expected delay

Rena Bakhshi, Jörg Endrullis, Wan Fokkink, Jun Pang

Journal:

Information Processing Letters

Year:

2011

Language:

english

File:

PDF, 169 KB

english, 2011

12

CCS with Hennessy's merge has no finite-equational axiomatization

Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 337 KB

english, 2005

13

Guest editors’ foreword

Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Zoltán Ésik

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 121 KB

english, 2005

14

Compositionality of Hennessy–Milner logic by structural operational semantics

Wan Fokkink, Rob van Glabbeek, Paulien de Wind

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 338 KB

english, 2006

15

Bisimilarity is not finitely based over BPA with interrupt

Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Sumit Nain

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 326 KB

english, 2006

16

Verification of mobile ad hoc networks: An algebraic approach

Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 449 KB

english, 2011

17

Preface

Luca Aceto, Wan Fokkink

Journal:

Information Processing Letters

Year:

2001

Language:

english

File:

PDF, 17 KB

english, 2001

18

A note on an expressiveness hierarchy for multi-exit iteration

Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir

Journal:

Information Processing Letters

Year:

2003

Language:

english

File:

PDF, 103 KB

english, 2003

19

Unification for infinite sets of equations between finite terms

Journal:

Information Processing Letters

Year:

1997

Language:

english

File:

PDF, 535 KB

english, 1997

20

Termination modulo equations by abstract commutation with an application to iteration

Wan Fokkink, Hans Zantema

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.01 MB

english, 1997

21

On a question of A. Salomaa the equational theory of regular expressions over a singleton alphabet is not finitely based

Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 1.06 MB

english, 1998

22

Language preorder as a precongruence

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 136 KB

english, 2000

23

Preface: Volume 80

Thomas Arts, Wan Fokkink

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 48 KB

english, 2003

24

Which two-sorted algebras of booleans and naturals have a finite basis?

Wan Fokkink, Jaco van de Pol, Sujith Vijay

Journal:

Algebra Universalis

Year:

2005

Language:

english

File:

PDF, 210 KB

english, 2005

25

Verification of a sliding window protocol inμCRL and PVS

Bahareh Badban, Wan Fokkink, Jan Friso Groote, Jun Pang, Jaco van de Pol

Journal:

Formal Aspects of Computing

Year:

2005

Language:

english

File:

PDF, 387 KB

english, 2005

26

Structural operational semantics and bounded nondeterminism

Wan Fokkink, Thuy Duong Vu

Journal:

Acta Informatica

Year:

2003

Language:

english

File:

PDF, 181 KB

english, 2003

27

Lifting non-finite axiomatizability results to extensions of process algebras

Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, MohammadReza Mousavi

Journal:

Acta Informatica

Year:

2010

Language:

english

File:

PDF, 382 KB

english, 2010

28

Cones and foci: A mechanical framework for protocol verification

Wan Fokkink, Jun Pang, Jaco van de Pol

Journal:

Formal Methods in System Design

Year:

2006

Language:

english

File:

PDF, 756 KB

english, 2006

29

Preface

Luca Aceto, Wan Fokkink, Irek Ulidowski

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 57 KB

english, 2005

30

Divide and Congruence Applied to η-Bisimulation

Wan Fokkink, Rob van Glabbeek, Paulien de Wind

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 359 KB

english, 2006

31

The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems

Luca Aceto, Wan Fokkink

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 193 KB

english, 2006

32

Ready to preorder: The case of weak process semantics

Taolue Chen, Wan Fokkink, Rob van Glabbeek

Journal:

Information Processing Letters

Year:

2008

Language:

english

File:

PDF, 194 KB

english, 2008

33

Ntyft/ntyxt Rules Reduce to Ntree Rules

Wan Fokkink, Rob van Glabbeek

Journal:

Information and Computation

Year:

1996

Language:

english

File:

PDF, 419 KB

english, 1996

34

Axiomatizing Prefix Iteration with Silent Steps

Luca Aceto, Rob van Glabbeek, Wan Fokkink, Anna Ingólfsdóttir

Journal:

Information and Computation

Year:

1996

Language:

english

File:

PDF, 870 KB

english, 1996

35

An Equational Axiomatization for Multi-exit Iteration

Luca Aceto, Wan Fokkink

Journal:

Information and Computation

Year:

1997

Language:

english

File:

PDF, 565 KB

english, 1997

36

A Conservative Look at Operational Semantics with Variable Binding

Wan Fokkink, Chris Verhoef

Journal:

Information and Computation

Year:

1998

Language:

english

File:

PDF, 634 KB

english, 1998

37

Nested semantics over finite trees are equationally hard

Luca Aceto, Wan Fokkink, Rob van Glabbeek, Anna Ingólfsdóttir

Journal:

Information and Computation

Year:

2004

Language:

english

File:

PDF, 303 KB

english, 2004

38

On finite alphabets and infinite bases

Taolue Chen, Wan Fokkink, Bas Luttik, Sumit Nain

Journal:

Information and Computation

Year:

2008

Language:

english

File:

PDF, 361 KB

english, 2008

39

Divide and congruence: From decomposition of modal formulas to preservation of branching and η-bisimilarity

Wan Fokkink, Rob van Glabbeek, Paulien de Wind

Journal:

Information and Computation

Year:

2012

Language:

english

File:

PDF, 427 KB

english, 2012

40

Guesteditors'introduction:Specialissueon Structural Operational Semantics

Luca Aceto, Wan Fokkink

Journal:

The Journal of Logic and Algebraic Programming

Year:

2004

Language:

english

File:

PDF, 131 KB

english, 2004

41

Guest Editors’ Foreword

Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon

Journal:

The Journal of Logic and Algebraic Programming

Year:

2008

Language:

english

File:

PDF, 69 KB

english, 2008

42

Guest Editors’ Foreword

Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon

Journal:

The Journal of Logic and Algebraic Programming

Year:

2007

Language:

english

File:

PDF, 84 KB

english, 2007

43

Guest Editors’ Foreword

Luca Aceto, Mario Bravetti, Wan Fokkink, Andrew D. Gordon

Journal:

The Journal of Logic and Algebraic Programming

Year:

2007

Language:

english

File:

PDF, 86 KB

english, 2007

44

Preface

Luca Aceto, Jos Baeten, Wan Fokkink, Anna Ingolfsdottir, Uwe Nestmann

Journal:

The Journal of Logic and Algebraic Programming

Year:

2009

Language:

english

File:

PDF, 62 KB

english, 2009

45

Efficient semi-automated assessment of annotations trustworthiness

Ceolin, Davide, Nottamkandath, Archana, Fokkink, Wan

Journal:

Journal of Trust Management

Year:

2014

Language:

english

File:

PDF, 804 KB

english, 2014

46

[IEEE 2013 Eleventh Annual Conference on Privacy, Security and Trust (PST) - Tarragona, Spain (2013.07.10-2013.07.12)] 2013 Eleventh Annual Conference on Privacy, Security and Trust - Semi-automated assessment of annotation trustworthiness

Ceolin, Davide, Nottamkandath, Archana, Fokkink, Wan

Year:

2013

Language:

english

File:

PDF, 242 KB

english, 2013

47

[IEEE 2010 10th International Conference on Application of Concurrency to System Design - Braga, TBD, Portugal (2010.06.21-2010.06.25)] 2010 10th International Conference on Application of Concurrency to System Design - Towards Performance Evaluation of Mobile Ad Hoc Network Protocols

Ghassemi, Fatemeh, Movaghar, Ali, Fokkink, Wan

Year:

2010

Language:

english

File:

PDF, 444 KB

english, 2010

48

[IEEE 2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST) - Williamsburg, VA, USA (2010.09.15-2010.09.18)] 2010 Seventh International Conference on the Quantitative Evaluation of Systems - Automating the Mean-Field Method for Large Dynamic Gossip Networks

Bakhshi, Rena, Endrullis, Jorg, Endrullis, Stefan, Fokkink, Wan, Haverkort, Boudewijn

Year:

2010

Language:

english

File:

PDF, 467 KB

english, 2010

49

[IEEE 2009 Sixth International Conference on the Quantitative Evaluation of Systems (QEST) - Budapest, Hungary (2009.09.13-2009.09.16)] 2009 Sixth International Conference on the Quantitative Evaluation of Systems - Mean-Field Analysis for the Evaluation of Gossip Protocols

Bakhshi, Rena, Cloth, Lucia, Fokkink, Wan, Haverkort, Boudewijn

Year:

2009

Language:

english

File:

PDF, 462 KB

english, 2009

50

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Restricted Broadcast Process Theory

Ghassemi, Fatemeh, Fokkink, Wan, Movaghar, Ali

Year:

2008

Language:

english

File:

PDF, 384 KB

english, 2008